Systems theory

Results: 13321



#Item
41

Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

Add to Reading List

Source URL: people.cs.kuleuven.be

- Date: 2017-07-28 06:55:52
    42

    Master’s Degree in High Performance Computing, Information Theory and Security Optimizing Performance for Coalition Structure Generation Problems in Multicore Systems

    Add to Reading List

    Source URL: www.iiia.csic.es

    - Date: 2015-10-07 06:43:09
      43

      A ray casting method for the computation of the area of feasible solutions for multicomponent systems: Theory, applications and FACPACK-implementation. Mathias Sawalla , Klaus Neymeyra,b a Universit¨ at

      Add to Reading List

      Source URL: alf.math.uni-rostock.de

      - Date: 2016-12-06 11:03:08
        44

        ANIMAL BEHAVIOUR, 1999, 57, 409–419 Article No. anbe, available online at http://www.idealibrary.com on Quantitative tools for comparing animal communication systems: information theory applied to bottlenose

        Add to Reading List

        Source URL: www.eve.ucdavis.edu

        - Date: 2009-03-12 22:05:36
          45

          97. MATEMATICKÉ KOLOKVIUM DYNAMICAL SYSTEMS AND RAMSEY THEORY Benjamin Weiss

          Add to Reading List

          Source URL: kam.mff.cuni.cz

          - Date: 2016-10-07 12:00:04
            46

            MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go

            Add to Reading List

            Source URL: is.ieis.tue.nl

            - Date: 2012-10-15 14:00:48
              47

              Privacy Consensus in Anonymization Systems Via Game Theory Rosa Karimi Adl, Mina Askari, Ken Barker, and Reihaneh Safavi-Naini Department of Computer Science, University of Calgary, Canada {rkarimia,maskari,kbarker,rei}@

              Add to Reading List

              Source URL: dspace.ucalgary.ca

              - Date: 2015-03-19 05:09:30
                48

                LBT  for     Procedural  and  Reac1ve  Systems     Part  2:  Reac1ve  Systems  –   Basic  Theory  

                Add to Reading List

                Source URL: www.nada.kth.se

                - Date: 2015-06-11 07:30:36
                  49

                  MDE Support for Process-Oriented Health Information Systems: from Theory to Practice Pieter Van GorpF , Irene VanderfeestenF , Willem DalinghausN , Josh MengerinkN , Bram van der SandenN , Pieter Kubben♦ F :{p.m.e.v.go

                  Add to Reading List

                  Source URL: is.ieis.tue.nl

                  - Date: 2012-05-24 07:58:19
                    50

                    Solving Systems of Set Constraints (Extended Abstract) Alexander Aiken Edward L. Wimmers

                    Add to Reading List

                    Source URL: theory.stanford.edu

                    - Date: 2014-08-19 20:11:20
                      UPDATE